Mathematical structure

Results: 1236



#Item
421Data structures / Disjoint-set data structure / Splay tree / Function / Exponentiation / Tree traversal / Fibonacci heap / Tango tree / Mathematics / Binary trees / Mathematical analysis

Algorithms Lecture 17: Disjoint Sets [Fa’13] E pluribus unum (Out of many, one) — Official motto of the United States of America

Add to Reading List

Source URL: web.engr.illinois.edu

Language: English - Date: 2014-12-28 09:02:45
422Symmetry / Symmetry in mathematics / Heuristic function / STRIPS / A* search algorithm / FO / Monotonic function / Mathematical analysis / Mathematics / Artificial intelligence

Problem-Structure-Based Pruning for Cost-Optimal Planning Amanda Coles and Andrew Coles University of Strathclyde, Glasgow, UK

Add to Reading List

Source URL: www.cis.strath.ac.uk

Language: English - Date: 2010-08-14 16:54:45
423Mathematics / Structure / Mental arithmetic / Mathematical manipulative / Design / Pattern / Addition

PATTERNS Still learning Well Very well I can give examples of patterns in real-life

Add to Reading List

Source URL: ateacherswonderings.files.wordpress.com

Language: English - Date: 2014-08-17 09:57:56
424Theoretical computer science / Computer programming / Database / Data model / Computer / Programming language / Data structure / Subroutine / Mathematics / Computing / Algorithm / Mathematical logic

Subject knowledge requirements for entry into computer science teacher training Expert  group’s  recommendations  

Add to Reading List

Source URL: www.computingatschool.org.uk

Language: English - Date: 2014-10-13 09:57:32
425Model theory / Logic programming / Predicate logic / Situation calculus / Structure / Mereology / Mathematical logic / Logic / Mathematics

Property Persistence in the Situation Calculus 1, Ryan F. Kelly, Adrian R. Pearce ∗

Add to Reading List

Source URL: people.eng.unimelb.edu.au

Language: English - Date: 2010-05-10 17:55:34
426Mathematical analysis / Germanic languages / Thorn / Optical flow / Eth / That / Discrete Fourier transform / Icelandic language / Middle English language / Old English language

1286 IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, Oriented Structure of the Occlusion Distortion: Is It Reliable?

Add to Reading List

Source URL: www.csd.uwo.ca

Language: English - Date: 2006-12-08 18:29:20
427Number theory / Riemann hypothesis / Riemann zeta function / Prime number theorem / Prime-counting function / Prime number / Zeta function / Gamma function / Zero of a function / Mathematical analysis / Mathematics / Analytic number theory

Primes, Quantum Chaos, and Computers A. M. Odlyzko AT&T Bell Laboratories Murray Hill, New JerseyIntroduction The primes, which are the fundamental building blocks of the multiplicative structure of the

Add to Reading List

Source URL: empslocal.ex.ac.uk

Language: English - Date: 2002-03-22 09:08:00
428Model predictive control / Reduced cost / Systems science / Structure / Nature / Mathematical optimization / Operations research / Dynamical system

Dynamic right-sizing for power-proportional data centers Minghong Lin and Adam Wierman California Institute of Technology Lachlan L. H. Andrew Swinburne University of Technology

Add to Reading List

Source URL: www.caia.swin.edu.au

Language: English - Date: 2010-12-01 23:24:55
429Reaction–diffusion system / Mathematics / Applied mathematics / Science / João Arménio Correia Martins / Rutherford Aris bibliography / Diffusion / Mathematical and theoretical biology / Narrow escape problem

PUBLICATIONS [1] M. J. Ward, F. M. Odeh, D. S. Cohen, Asymptotic Methods for MOSFET Modeling, NASECODE 5 Conf. Proceed., (1987), pp. 333–M. J. Ward, Multiple Steady State Solutions in a PNPN Structure, NASECOD

Add to Reading List

Source URL: www.math.ubc.ca

Language: English - Date: 2014-07-25 11:50:03
430Mathematical logic / Formal languages / Logical syntax / Philosophy of language / Interpretation / Computation tree logic / Well-formed formula / Function / Kripke structure / Logic / Mathematics / Temporal logic

Model-Checking Overview of Automated Verification SW/HW SW/HW artifact

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2006-02-06 13:57:58
UPDATE